-
1 predicate calculus machinery
Англо-русский словарь по машиностроению > predicate calculus machinery
-
2 predicate calculus machinery
Англо-русский словарь по робототехнике > predicate calculus machinery
-
3 predicate calculus machinery
English-Russian big polytechnic dictionary > predicate calculus machinery
-
4 machinery
1. n механизмы; машины; оборудование2. n детали машины3. n механизм, структура4. n аппаратwe need the machinery to introduce these reforms — чтобы ввести эти реформы, нужно создать особый аппарат
Синонимический ряд:1. devices (noun) artifices; contrivances; devices; means; method; plans; shifts2. equipment (noun) accouterments; apparatus; appliances; contraption; device; engine; equipment; gadget; gear; habiliments; implements; machines; material; materials; materiel; mechanisms; outfit; paraphernalia; tackle; tackling; tools -
5 predicative calculus
-
6 sameness predicate
English-Russian big polytechnic dictionary > sameness predicate
-
7 higher predicate calculus
The English-Russian dictionary general scientific > higher predicate calculus
-
8 predicate calculus
The English-Russian dictionary general scientific > predicate calculus
-
9 several-sorted predicate calculus
The English-Russian dictionary general scientific > several-sorted predicate calculus
-
10 calculus
1. n мат. исчисление2. n калькуляция3. n мед. камень -
11 differential calculus
-
12 index calculus
-
13 matrix calculus
-
14 propositional calculus
пропозициональное исчисление; исчисление высказываний -
15 situation calculus
-
16 calculus
-
17 choice predicate
English-Russian big polytechnic dictionary > choice predicate
-
18 integral calculus
English-Russian big polytechnic dictionary > integral calculus
-
19 matrix calculus
English-Russian big polytechnic dictionary > matrix calculus
-
20 negated predicate
English-Russian big polytechnic dictionary > negated predicate
- 1
- 2
См. также в других словарях:
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
Понятие — форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений в их противоречии и развитии; мысль или система мыслей, обобщающая, выделяющая предметы некоторого класса по определённым общим и в совокупности… … Большая советская энциклопедия
Понятие — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Понятие отображённое в мышлении единство существенных свойств, связей и отношен … Википедия
Понятия — Понятие форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений в их противоречии и развитии; мысль или система мыслей, обобщающая, выделяющая предметы некоторого класса по определённым общим и в совокупности… … Википедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
МИНИМАЛЬНАЯ ЛОГИКА — логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного… … Философская энциклопедия